Subject: Correct error in previous LF bit propagation append

From: [email-masked]
Date: Mon, 18 Jul 94 10:13:03 EDT

There is an error in the previous LF bit propagation append
  submitted by me. The error is in the changes suggested for
  the RESOLVE_PENDING State. The Next State column has conditional
  expressions joined together by the AND (&&) operator. The AND
  operator should be replaced by the OR (||) operator.

  Wayne T.